最近被 NSString 无法释放这件事搞得糊涂。
首先说一下，发现问题的过程：

有两个 weak properties

1
2
@property (nonatomic, weak) id a;
@property (nonatomic, weak) id sa;

按道理来说, 当一个对象初始化就赋给了一个 weak 对象, 这个对象就会立刻被释放掉, 但有一个特俗的情况, 看下面的代码和输出。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
{
        NSString *temp = @"sa";
        NSMutableString *sa = [[NSMutableString alloc] initWithString:temp];
        NSMutableArray *array = [NSMutableArray arrayWithObject:@"aaa"];
        self.a = [array copy];
        self.sa = [sa copy];
        NSLog(@"array:%p", array);
        NSLog(@"self.a:%p", self.a);
        NSLog(@"self.sa:%p", self.sa);
        NSLog(@"temp:%p", temp);
}
array:0x600000241ad0
self.a:0x0
self.sa:0xa000000000061732
temp:0x1081d0030

为什么 self.sa 没有被释放?
到这里我们来引入 Tagged Pointer 这个概念.

对于那些所需内存小于60位的字符串，它可以创建一个Tagged Pointer。其余的则被放置在真正的NSString对象里。这使得常用的短字符串的性能得到明显的提升。
NSNumber、NSDate等, 都是使用 Tagged Pointer.

当你重复运行的时候, 发现 self.sa 的地址, 始终没有发生变化, 其实那并不是对象的地址, 而是直接指向数据的指针.

可以发现实际的地址 self.sa:0xa000000000061732 对应的数据格式如下:

1
2
3
0x2 - Length (2)
0x73 - 's' 
0x61 - 'a'

当我改代码如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
{
        NSString *temp = @"saaaaaaaaaaa";
        NSMutableString *sa = [[NSMutableString alloc] initWithString:temp];
        NSMutableArray *array = [NSMutableArray arrayWithObject:@"aaa"];
        self.a = [array copy];
        self.sa = [sa copy];
        NSLog(@"array:%p", array);
        NSLog(@"self.a:%p", self.a);
        NSLog(@"self.sa:%p", self.sa);
        NSLog(@"temp:%p", temp);
        
}
array:0x600000055300
self.a:0x0
self.sa:0x0
temp:0x109c74030

发现 self.sa 也变为 nil 了, 因为当长度大于60的时候, Tagged Pointer失效, 改用对象存储, 则初始化后立刻被释放掉了.

感谢 @sven 在 stackoverflow 的解答.